Computational logic - PDFSEARCH.IO - Document Search Engine

Computational logic
Results: 652

#	Item
381	Is Programming Worthwhile? Add to Reading List Source URL: aaai.org Language: English - Date: 2006-01-11 02:55:20 Lisp programming language Functional languages Programming paradigms Computational neuroscience Lisp Object-oriented programming Artificial intelligence Logic programming Programming language Software engineering Computing Computer programming
382	Semantics and Syntax A Legacy of Alan Turing Scientific Report Arnold Beckmann (Swansea) S. Barry Cooper (Leeds) Benedikt L¨owe (Amsterdam) Elvira Mayordomo (Zaragoza) Add to Reading List Source URL: www.newton.ac.uk Language: English - Date: 2014-07-22 11:47:42 Theoretical computer science Probabilistic complexity theory Formal sciences Computational complexity theory Mathematical logic Computability theory Algorithm Alan Turing Randomized algorithm Mathematics Science Applied mathematics
383	v5.GroupOnDOEandRSandOPT.ppt Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2009-07-30 05:31:47 Mathematical logic Theoretical computer science Mathematics Economic model Mathematical optimization Mathematical sciences Computational complexity theory Operations research Applied mathematics Algorithm
384	Extracting Feasible Programs Add to Reading List Source URL: aaai.org Language: English - Date: 2006-01-11 06:16:21 Proof theory Functions and mappings Logic in computer science Function Primitive recursive function Curry–Howard correspondence Second-order logic Modal logic Computational complexity theory Mathematics Logic Mathematical logic
385	CS 330 – Spring 2013, Assignment 5 Assignments due at the beginning of class (11AM), Thursday, April 5 Question[removed]pts). Chapter 6, Exercise 8, on p[removed]Question[removed]pts). Chapter 6, Exercise 10, on p[removed]Ques Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2013-03-21 14:14:43 Analysis of algorithms Algorithm Mathematical logic Partition problem Time complexity NP Theoretical computer science Computational complexity theory Applied mathematics
386	A COMPUTATIONAL APPROACH TO THE DESIGN OF MICROMECHANICAL HINGED STRUCTURES Karl-Friedrich Bohringer ¨ Department of Computer Science, Cornell University Ithaca, NY 14853 Add to Reading List Source URL: www.ee.washington.edu Language: English - Date: 2003-07-05 01:39:00 Mechanical engineering Logic design Lock Rivers Water transport infrastructure Integrated circuit design Kinematics Logic simulation Hinge Electronic engineering Electronics Physics
387	Helm-Cravens Library Alphabetical List of Print Periodical Holdings Helm Library, 2nd floor (the top floor), contains most of WKU Libraries’ print periodical holdings. These periodicals represent the most recent decade Add to Reading List Source URL: www.wku.edu Language: English - Date: 2015-02-12 17:18:31 ACM SIGACT ACM Computing Surveys ACM Transactions on Computer-Human Interaction ACM Transactions on Graphics ACM Transactions on Computational Logic ACM SIGGRAPH ACM Transactions on Programming Languages and Systems Peter J. Denning Communications of the ACM Association for Computing Machinery Computer science ACM Transactions on Mathematical Software
388	Logic: 1st Edition, [removed]Box 27, Folder 3 Wesley C. Salmon Papers, [removed], ASP[removed], Archives of Scientific Philosophy, Special Collections, University of Pittsburgh. Logic: 1st Edition, [removed]Box 27, Fol Add to Reading List Source URL: digital.library.pitt.edu Language: English - Date: 2013-06-01 22:56:24 Salmon Science Knowledge Epistemology Computational epistemology Philosophers of science Philosophy of science Wesley C. Salmon
389	"Relative Utility of Deductive and Inductive Logic": Conference on Logic and Liberal Learning, 1979 Box 51, Folder 10 Wesley C. Salmon Papers, [removed], ASP[removed], Archives of Scientific Philosophy, Special Collection Add to Reading List Source URL: digital.library.pitt.edu Language: English - Date: 2013-06-01 23:00:28 Epistemology Philosophy Inductive reasoning Problem solving Reasoning Statistical inference Logic Mathematical logic Computational epistemology Science Knowledge Philosophy of science
390	Extracting Propositional Rules from Feed-forward Neural Networks — A New Decompositional Approach Sebastian Bader and Steffen H¨olldobler and Valentin Mayer-Eichberger International Center for Computational Logic Tech Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2006-11-03 20:49:32 Neuroscience Perceptron Feedforward neural network Artificial neural network Artificial neuron Backpropagation Connectionism Pattern recognition Activation function Neural networks Cybernetics Science

UPDATE